Calculating WCET Estimates from Timed Traces

© The Author(s) 2015. This article is published with open access at Springerlink.comReal-time systems engineers face a daunting duty: They must ensure that each task in their system can always meet its deadline. To analyse schedulability they must know the worst-case execution time (WCET) of each task. However, determining exact WCETs is practically infeasible in cost-constrained industrial settings involving real-life code and COTS hardware. Static analysis tools that could yield sufficiently tight WCET bounds are often unavailable. As a result, interest in portable analysis approaches like measurement-based timing analysis (MBTA) is growing. We present an approach based on integer linear programming (ILP) for calculating a WCET estimate from a given database of timed execution traces. Unlike previous work, our method specifically aims at reducing overestimation, by means of an automatic classification of code executions into scenarios with differing worst-case behaviour. To ease the integration into existing analysis tool chains, our method is based on the implicit path enumeration technique (IPET). It can thus reuse flow facts from other analysis tools and produces ILP problems that can be solved by off-the-shelf solvers.Peer reviewe

A better life through information technology? The techno-theological eschatology of posthuman speculative science

This is the pre-peer reviewed version of the article, published in Zygon 41(2) pp.267-288, which has been published in final form at http://www3.interscience.wiley.com/journal/118588124/issueThe depiction of human identity in the pop-science futurology of engineer/inventor Ray Kurzweil, the speculative-robotics of Carnegie Mellon roboticist Hans Moravec and the physics of Tulane University mathematics professor Frank Tipler elevate technology, especially information technology, to a point of ultimate significance. For these three figures, information technology offers the potential means by which the problem of human and cosmic finitude can be rectified. Although Moravec’s vision of intelligent robots, Kurzweil’s hope for immanent human immorality, and Tipler’s description of human-like von Neumann probe colonising the very material fabric of the universe, may all appear to be nothing more than science fictional musings, they raise genuine questions as to the relationship between science, technology, and religion as regards issues of personal and cosmic eschatology. In an attempt to correct what I see as the ‘cybernetic-totalism’ inherent in these ‘techno-theologies’, I will argue for a theology of technology, which seeks to interpret technology hermeneutically and grounds human creativity in the broader context of divine creative activity

Oral history interview with Michael L. Dertouzos

Transcript, 29 pp. Audio file available at http://purl.umn.edu/95583Dertouzos begins by discussing his research in computer science at the Massachusetts Institute of Technology and Project MAC's change under his direction to the Laboratory for Computer Science. The bulk of the interview concerns MIT's relationship with the Defense Advanced Research Projects Agency (DARPA) and its Information Processing Techniques Office (IPTO). Topics include: time-sharing, distributive systems, networking, multiprocessing, the ARPANET, and Robert Kahn's directorship of IPTO